[IA64] fix vcpu_itr_i(), vcpu_itr_d() and vcpu_flush_tlb_vhpt_range() callers
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Mon, 10 Jul 2006 20:11:44 +0000 (14:11 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Mon, 10 Jul 2006 20:11:44 +0000 (14:11 -0600)
commit2724e1178d4df746cae1950eb4a9f9f968b54d17
tree2b57c9d1d385133cf1a3d249b355c88e7dcb0f14
parentfa866075233ba596b1e4b1da7d3eb421c8f6ada5
[IA64] fix vcpu_itr_i(), vcpu_itr_d() and vcpu_flush_tlb_vhpt_range() callers

- vcpu_itr_i() and vcpu_itr_d() must purge vTLB entry which overlaps the
  new inserted entry.
- some address argument of vcpu_flush_tlb_vhpt_range() was wrong.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/faults.c
xen/arch/ia64/xen/vcpu.c